Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
91	PDF Document Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:52:25 Software engineering Logic in computer science Programming paradigms Association for Computing Machinery Models of computation Automata theory SIGNAL Formal verification Programming language Formal methods Computing Theoretical computer science
92	SyEN #019: News in the Field of Systems Engineering \| Project Performance International:49 AM Project Performance International Systems Engineering Add to Reading List Source URL: www.ppi-int.com Language: English - Date: 2010-04-29 18:49:20 Systems theory Requirement System of systems engineering Verification TRAK Software development process Validation Software verification Systems architecture Systems engineering Systems science Science
93	15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-01-28 13:27:14 Computer science Rajeev Alur Finite-state machine Modal μ-calculus Model checking Tree automaton Formal verification Tree Temporal logic Automata theory Theoretical computer science Mathematical logic
94	Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-03 08:24:08 Computational complexity theory Automata theory Symposium on Theoretical Aspects of Computer Science Cryptographic protocols Model checking Network topology
95	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming
96	Complete list of publications Pierre Ganty December 15, 2012 Conference Publications [1] Pierre Ganty, Radu Iosif, and Filip Koneˇcn´ y. Underapproximation of procedure summaries for integer programs. In TACAS ’13: P Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:15 Models of computation Model checking Petri net Lecture Notes in Computer Science ALGOL 68 Computer Aided Verification Formal methods Software engineering Computing Programming language theory
97	Parameterized Verification of Communicating Automata under Context Bounds Benedikt Bollig1 , Paul Gastin1 , and Jana Schubert2 1 LSV, ENS Cachan & CNRS {bollig,gastin}@lsv.ens-cachan.fr Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-09-19 10:50:53 Ω-automaton Automata theory Tree automaton Nondeterministic finite automaton
98	➠ ➡ COMPARISON OF DISCRIMINATIVE TRAINING METHODS FOR SPEAKER VERIFICATION Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-08-10 10:41:27 Regression analysis Linear regression Logistic regression Maximum likelihood Generalized method of moments Statistics Estimation theory Econometrics
99	Behavioral Verification of Distributed Concurrent Systems with BOBJ Joseph Goguen Dept. Computer Science & Engineering University of California at San Diego Abstract Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2005-07-09 15:47:18 Algebraic structures Group theory Module Congruence relation Subalgebra Group action Monad Abstract algebra Mathematics Algebra
100	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 08:23:41 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory

UPDATE